Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
251	30°EWGLAM Adriano Raspanti COSMO WG5 Coordinator and VERSUS Project Leader Add to Reading List Source URL: srnwp.met.hu Language: English - Date: 2008-10-29 05:41:08 Software engineering Formal methods Verification Software development process Ada Requirement Computing Software development Systems engineering
252	BRICS Basic Research in Computer Science BRICS DS-00-7 M. Jurdzi´nski: Games for Verification: Algorithmic Issues Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-13 08:14:25 Logic in computer science Computability theory Formal methods Model checking Theory of computation Algorithm BRIC Halting problem Formal verification Theoretical computer science Applied mathematics Mathematics
253	Language Engineering as an Enabler for Incrementally Defined Formal Analyses Daniel Ratiu∗ , Markus Voelter† , Bernhard Schaetz∗ , Bernd Kolb‡ ∗ ForTISS, Munich, Germany, {ratiu \| schaetz}@fortiss.org † indep Add to Reading List Source URL: mbeddr.com Language: English Theoretical computer science Model checkers Logic in computer science NuSMV Model checking Formal verification Domain-specific language Programming language Feature model Formal methods Software Mathematics
254	Formal Verification of Real-Time Wireless Sensor Networks Protocols with Realistic Radio Links Alexandre Mouradian Isabelle Augé-Blum Add to Reading List Source URL: leat.unice.fr Language: English - Date: 2013-11-08 01:30:47 Information Data transmission Technology Model checking ANT Communications protocol Wireless networking Data Wireless sensor network
255	Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2009-04-07 07:40:29 Compilers Programming language implementation Functional languages Formal methods Compiler correctness Compiler Compcert Xavier Leroy Code generation Software Computing Compiler construction
256	BRICS Basic Research in Computer Science BRICS RS-99-8 Havelund et al.: Formal Verification of a Power Controller Using UPPAAL Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-07-01 10:19:37 Embedded system Transmission Control Protocol Computer architecture Interrupts Interrupt
257	Mukund Raghothaman Wednesday 8th October, 2014 Contact Details Department of Computer and Information Science University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-08 01:07:27 Computer science Rajeev Alur Formal sciences Automata theory Model checking IEEE Symposium on Logic in Computer Science Formal methods Formal verification Symposium on Theory of Computing Theoretical computer science Applied mathematics Logic in computer science
258	Abstract Runtime Monitoring with USE Lars Hamann L´aszl´o Vid´acs Martin Gogolla Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2012-01-27 03:50:41 Unified Modeling Language Formal methods Java platform Knowledge representation Object Constraint Language ECO KeY Runtime verification Software development process Computing Software Cross-platform software
259	VOLT 2014 Workshop Report Moussa Amrani1 , Eugene Syriani2 , Manuel Wimmer3 , Robert Bill3 , Martin Gogolla4 , Frank Hermann5 , and Kevin Lano6 1 University of Namur, Belgium Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-03 03:08:26 Software Graph rewriting VIATRA Formal methods Logic in computer science Object Constraint Language Model transformation language Kermeta Formal verification Unified Modeling Language Systems engineering Software engineering
260	Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz1 , Francesco Logozzo2 , Manuel F¨ahndrich2 ´ Ecole normale sup´erieure, Paris, France Add to Reading List Source URL: mehdi.bouaziz.org Language: English - Date: 2014-01-23 20:24:46 Computing Postcondition Design by contract Abstract interpretation Programming language Formal verification Precondition Class Software engineering Theoretical computer science Logic in computer science

UPDATE